Here's the split off document.  Alas, I think this form of documentation of our discussions is too laborious to be sustainable.

So shall we try a wiki?

I now need to clean up what remains of the main document and link it to this one.